аксиома присваивания

аксиома присваивания: axiom of assignment

присваивание адресов именам — name-address assignment

символ оператора присваивания — assignment operator

присваивание по умолчанию — default assignment

подпрограмма присваивания — assignment routine

выполненные присваивания — created assignments

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия

Mark and share
Search through all dictionaries
Translate…
Search Internet

Share the article and excerpts